Multi-type display calculus for dynamic epistemic logic
نویسندگان
چکیده
منابع مشابه
Multi-type display calculus for dynamic epistemic logic
In the present paper, we introduce a multi-type display calculus for dynamic epistemic logic, which we refer to as Dynamic Calculus. The displayapproach is suitable to modularly chart the space of dynamic epistemic logics on weaker-than-classical propositional base. The presence of types endows the language of the Dynamic Calculus with additional expressivity, allows for a smooth proof-theoreti...
متن کاملMulti-type display calculus for propositional dynamic logic
We introduce a multi-type display calculus for Propositional Dynamic Logic (PDL). This calculus is complete w.r.t. PDL, and enjoys Belnap-style cut-elimination and subformula property.
متن کاملMulti-type Display Calculus for Semi De Morgan Logic
Semi De Morgan algebras form a variety of normal distributive lattice expansions [7] introduced by H.P. Sankappanavar [16] as a common abstraction of De Morgan algebras and distributive pseudocomplemented lattices. A fully selfextensional logic SDM naturally arises from semi De Morgan algebras, which has been studied from a duality-theoretic perspective [13], from the perspective of canonical e...
متن کاملFrom Situation Calculus to Dynamic Epistemic Logic
We start from Reiter’s solution to the frame problem in terms of successor state axioms and Scherl& Levesque’s extension to knowledge, as formulated by Lakemeyer&Levesque in their logic ES. While it was believed up to now that quantification over actions is a characteristic feature of Reiter’s solution, we here show that for a reasonably large subset of Reiter’s basic action theories one can do...
متن کاملEpistemic Logic for the Applied Pi Calculus
We propose an epistemic logic for the applied pi calculus, which is a variant of the pi calculus with extensions for modeling cryptographic protocols. In such a calculus, the security guarantees are usually stated as equivalences. While process calculi provide a natural means to describe the protocols themselves, epistemic logics are often better suited for expressing certain security propertie...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Logic and Computation
سال: 2014
ISSN: 0955-792X,1465-363X
DOI: 10.1093/logcom/exu068